9.4 More detailed theory